fun_1_summary 12,41
Polymorphic identity and composition functions. 
Lemmas covering properties suchas injectivity and 
surjectivity.

origin